($I$$\mid$$p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$p{-}restrict($I$;$p$)